PossibleEvent(${\it poss}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$${\it es}$:ES$\times$E$\times$${\it poss}$(${\it es}$)